Euclid's algorithm proof